Comparing Caddo and Coles Creek Pottery Using Petrographic Analysis

Pottery classified as “Coles Creek Incised” is common both to the earliest Caddo sites along the Red River and to contemporary sites in the Lower Mississippi Valley. Although it often is suggested that Coles Creek pottery from the two regions can be distinguished by differences in paste, no detailed comparative studies have been carried out. An initial attempt to identify variation through the use of petrographic analysis was carried out by comparing 50 samples drawn from sites in northwest and central Louisiana. Although no sharp dichotomy was noted between the regions, the study identified distinctions that support the notion that most Coles Creek pottery was made locally and different technological traditions may be represented

Ludics and its Applications to natural Language Semantics

Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes

Superheated Droplet Detectors as CDM Detectors: The SIMPLE Experiment

Superheated Droplet Detectors (SDDs) are becoming commonplace in neutron personnel dosimetry. Their total insensitivity to minimum ionizing radiation (while responsive to nuclear recoils of energies ~ few keV), together with their low cost, ease of production, and operation at room temperature and 1 atm makes them ideal for Cold Dark Matter (CDM) searches. SDD's are optimal for the exploration of the spin-dependent neutralino coupling due to their high fluorine content. The status of SIMPLE (Superheated Instrument for Massive ParticLe Experiments) is presented. Under realistic background considerations, we expect an improvement in the present Cold Dark Matter sensitivity of 2-3 orders of magnitude after ~1 kg-y of data acquisition.Comment: 6 pages, including 4 figures. To appear in the Proceedings of the Intl. Workshop on the Identification of Dark Matter (Sheffield, Sept. 96

Beta Irradiation of a Geometrically Metastable Superconducting Strip Detector with a Magnetic Flux Penetration Read-Out

Geometrical metastability, observed in superconducting type I tin flat strips, has been previously proposed as a principle for particle detection. The energy deposition of an incoming beta-particle induces the rupture of the metastability and consequently the penetration of multiquantum flux tubes into a superconducting tin strip. We present here the first absorption spectra from two beta sources, which demonstrate the linearity and energy-resolution of these detectors (presented at the 6th International Workshop on Low Temperature Detectors for Dark Matter and Neutrinos (LTD-6), Interlaken, Switzerland, Sept. 1995)Comment: Compressed PostScript (filename.ps.Z), 8 pages, 2 figure

Asymptotic Opening Angles for Colliding-Wind Bow Shocks: the Characteristic-Angle Approximation

By considering the advection and interaction of the vector momentum flux in highly supersonic spherically diverging winds, we derive a simple analytic description of the asymptotic opening angle of a wind-collision shock cone, in the approximation that the shocked gas is contained in a cone streaming out along a single characteristic opening angle. Both highly radiative and highly adiabatic limits are treated, and their comparison is the novel result. Analytic closed-form expressions are obtained for the inferred wind momentum ratios as a function of the observed shock opening angle, allowing the conspicuous shape of the asymptotic bow shock to be used as a preliminary constraint on more detailed modeling of the colliding winds. In the process, we explore from a general perspective the limitations in applying to the global shock geometry the so-called Dyson approximation, which asserts a local balance in the perpendicular ram pressure across the shock.Comment: 16 pages, 1 figur

Lazy Abstraction-Based Controller Synthesis

We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at the precision currently required by the synthesis algorithm. We show that lazy ABCS can significantly outperform previous multi-layered ABCS algorithms: on standard benchmarks, lazy ABCS is more than 4 times faster